Institute of Mathematics - PDFSEARCH.IO - Document Search Engine

Institute of Mathematics
Results: 3022

#	Item
821	Comfusy: A Tool for Complete Functional Synthesis Tool Presentation Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter? Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Formal methods Constraint programming Electronic design automation NP-complete problems Satisfiability Modulo Theories Algorithm Presburger arithmetic Function Mathematics Theoretical computer science Mathematical logic
822	University of Utah Department of Mathematics April 17, 2003 Volume 3, Number 9 Add to Reading List Source URL: www.math.utah.edu Language: English - Date: 2009-03-10 16:29:22 Mathematical Sciences Research Institute Academia Amy Cohen-Corwin
823	Movement Primitives via Optimization Anca D. Dragan, Katharina Muelling, J. Andrew Bagnell, and Siddhartha S. Srinivasa The Robotics Institute, Carnegie Mellon University Abstract—We formalize the problem of adapting a Add to Reading List Source URL: www.ri.cmu.edu Language: English - Date: 2015-05-04 08:56:39 Physics Mathematics Xi Trajectory Sinc function
824	UNIVERSITY OF UTAH AFTERMATH MATHEMATICS DEPARTMENT NEWSLETTERA WORD FROM THE CHAIRMAN Add to Reading List Source URL: www.math.utah.edu Language: English - Date: 2000-12-07 14:24:32 Academic administration Professor Titles Calculus Massachusetts Institute of Technology Education Academia Knowledge
825	University of Utah Department of Mathematics November 2003 Volume 4, Number 3 Add to Reading List Source URL: www.math.utah.edu Language: English - Date: 2003-12-05 13:30:04 Education Mathematics education Mathematical Sciences Research Institute Math circle
826	Simulation of semiconductor devices with a local numerical approach G. Kosec1,2 and R. Trobec1 Parallel and Distributed Systems Laboratory Jožef Stefan Institute, Jamova 39 SI-1000 Ljubljana, Slovenia Add to Reading List Source URL: www-e6.ijs.si Language: English - Date: 2015-03-05 12:30:38 Numerical analysis Partial differential equations Computational science Computational fluid dynamics Discretization Finite element method Finite difference method Crash simulation Mathematical analysis Mathematics Calculus
827	Efficient Motion Planning for Humanoid Robots using Lazy Collision Checking and Enlarged Robot Models Nikolaus Vahrenkamp, Tamim Asfour and R¨udiger Dillmann Institute of Computer Science and Engineering University of K Add to Reading List Source URL: wwwiaim.ira.uka.de Language: English - Date: 2007-08-10 04:41:22 Search algorithms Physics Computational physics Applied mathematics Mathematics Motion planning Rapidly-exploring random tree Probabilistic roadmap Collision detection Robot control Robot kinematics Theoretical computer science
828	Moravian College CIT words and star 294 CMYK wide Add to Reading List Source URL: www.moravian.edu Language: English - Date: 2013-03-18 09:44:53 Moravian College Computer science Mathematics Academia Courant Institute of Mathematical Sciences Education Higher education Department of Computer Science FMPI Comenius University Bethlehem Pennsylvania Council of Independent Colleges Middle States Association of Colleges and Schools
829	European Confernce on Complex Systems 2007 Dresden, October 1-6, 2007 Abstract Booklet ECCS’07 Organizers: Add to Reading List Source URL: www.trafficforum.ethz.ch Language: English - Date: 2008-05-06 05:49:42 Max Planck Society Province of Reggio Emilia University of Modena and Reggio Emilia Dresden University of Technology Institute of technology Leipzig Max Planck Institute for Mathematics in the Sciences Dresden Education 2nd millennium Academia
830	UNIVERSITY OF UTAH AFTERMATH MATHEMATICS DEPARTMENT NEWSLETTERA WORD FROM THE CHAIRMAN Add to Reading List Source URL: www.math.utah.edu Language: English - Date: 2000-12-07 14:24:31 Matematička gimnazija Applied mathematics Year of birth missing Courant Institute of Mathematical Sciences

UPDATE